The care and feeding of schemas

To print the schema
#schema17#
you just say

verbatim9#

What could be simpler? If you want a schema with no name, just a horizontal rule at the top, use the 1 environment instead. In fact, here is an example: If you like the name set flush left, you can use the 2 declaration to get the following effect:
#leftschemas24#
As well as these, there's 3 for axiomatic definitions: to print
#axdef29#
you say

verbatim10#

The strange hint 4 in this example makes the corresponding line in the output have one helping of indentation. As things get more nested, you can say 5, 6, and so on. But if you should ever get beyond 7, you'll need to use braces around the argument: 8, and you'd better look for some way to simplify your specification! The syntax of these little tab marks is a bit strange, I'm afraid, but I find them more convenient than other possibilities. They're short, and they don't get longer as the tabbing gets deeper, within reason, so they can be tucked in neatly on the left, well away from the maths. The size of `helping' you get with 9 is a parameter 10, and the default is 2em.

Two other things to notice here are the little space between the ∀ and the following S, and the use of 11 for the bullet #tex2html_wrap_inline216#. These macros produce symbols of the right type for TEX's spacing rules to insert spaces automatically.

For generic definitions, there's the 12 environment: you can get a neat double-topped box like
#gendef35#
by typing

verbatim11#

You should take note of the thin space I've inserted between map and f in this example: if this is omitted, the input 13 gives mapf, because TEX ignores spaces in math mode. There's also a 14 environment for generic definitions with no parameters.

If a schema or other box contains more than one predicate below the line, it often looks better to add a tiny vertical space between them, as in this example:
#schema42#
This is done with the command 15, which behaves syntactically like 16:

verbatim12#

Note that 17 is provided <#49#>instead<#49#> of the optional argument to 18 which L^ATEX provides in other environments.